契約に依る設計 (DbC)

design by contract

code:clj

(defn f

"demand-side"

[]

(g x))

(defn g

"dupply-side"

demand-side

事前條件を滿たす義務

事後條件が滿たされる權利

supply-side

事前條件が滿たされる權利 (validation)

事後條件を滿たす義務 (sanitize)